#include <device/device.h>

void device_init(st_device *dev, const char * name, riscv_word_t attr, riscv_word_t base, riscv_word_t size)
{
    std::memset(dev, 0, sizeof(st_device));
    dev->name = name;
    dev->attr = attr;
    dev->base = base;
    dev->end = base + size;
}
